Optimal. Leaf size=375 \[ -\frac {1}{420} \left (\frac {60 c}{x^7}+\frac {70 d}{x^6}+\frac {84 e}{x^5}+\frac {105 f}{x^4}\right ) \sqrt {a+b x^4}-\frac {2 b c \sqrt {a+b x^4}}{21 a x^3}-\frac {b d \sqrt {a+b x^4}}{6 a x^2}-\frac {2 b e \sqrt {a+b x^4}}{5 a x}+\frac {2 b^{3/2} e x \sqrt {a+b x^4}}{5 a \left (\sqrt {a}+\sqrt {b} x^2\right )}-\frac {b f \tanh ^{-1}\left (\frac {\sqrt {a+b x^4}}{\sqrt {a}}\right )}{4 \sqrt {a}}-\frac {2 b^{5/4} e \left (\sqrt {a}+\sqrt {b} x^2\right ) \sqrt {\frac {a+b x^4}{\left (\sqrt {a}+\sqrt {b} x^2\right )^2}} E\left (2 \tan ^{-1}\left (\frac {\sqrt [4]{b} x}{\sqrt [4]{a}}\right )|\frac {1}{2}\right )}{5 a^{3/4} \sqrt {a+b x^4}}-\frac {b^{5/4} \left (5 \sqrt {b} c-21 \sqrt {a} e\right ) \left (\sqrt {a}+\sqrt {b} x^2\right ) \sqrt {\frac {a+b x^4}{\left (\sqrt {a}+\sqrt {b} x^2\right )^2}} F\left (2 \tan ^{-1}\left (\frac {\sqrt [4]{b} x}{\sqrt [4]{a}}\right )|\frac {1}{2}\right )}{105 a^{5/4} \sqrt {a+b x^4}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.24, antiderivative size = 375, normalized size of antiderivative = 1.00, number of steps
used = 13, number of rules used = 12, integrand size = 30, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.400, Rules used = {14, 1839,
1847, 1296, 1212, 226, 1210, 1266, 821, 272, 65, 214} \begin {gather*} -\frac {b^{5/4} \left (\sqrt {a}+\sqrt {b} x^2\right ) \sqrt {\frac {a+b x^4}{\left (\sqrt {a}+\sqrt {b} x^2\right )^2}} \left (5 \sqrt {b} c-21 \sqrt {a} e\right ) F\left (2 \text {ArcTan}\left (\frac {\sqrt [4]{b} x}{\sqrt [4]{a}}\right )|\frac {1}{2}\right )}{105 a^{5/4} \sqrt {a+b x^4}}-\frac {2 b^{5/4} e \left (\sqrt {a}+\sqrt {b} x^2\right ) \sqrt {\frac {a+b x^4}{\left (\sqrt {a}+\sqrt {b} x^2\right )^2}} E\left (2 \text {ArcTan}\left (\frac {\sqrt [4]{b} x}{\sqrt [4]{a}}\right )|\frac {1}{2}\right )}{5 a^{3/4} \sqrt {a+b x^4}}+\frac {2 b^{3/2} e x \sqrt {a+b x^4}}{5 a \left (\sqrt {a}+\sqrt {b} x^2\right )}-\frac {1}{420} \sqrt {a+b x^4} \left (\frac {60 c}{x^7}+\frac {70 d}{x^6}+\frac {84 e}{x^5}+\frac {105 f}{x^4}\right )-\frac {2 b c \sqrt {a+b x^4}}{21 a x^3}-\frac {b d \sqrt {a+b x^4}}{6 a x^2}-\frac {2 b e \sqrt {a+b x^4}}{5 a x}-\frac {b f \tanh ^{-1}\left (\frac {\sqrt {a+b x^4}}{\sqrt {a}}\right )}{4 \sqrt {a}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 14
Rule 65
Rule 214
Rule 226
Rule 272
Rule 821
Rule 1210
Rule 1212
Rule 1266
Rule 1296
Rule 1839
Rule 1847
Rubi steps
\begin {align*} \int \frac {\left (c+d x+e x^2+f x^3\right ) \sqrt {a+b x^4}}{x^8} \, dx &=-\frac {1}{420} \left (\frac {60 c}{x^7}+\frac {70 d}{x^6}+\frac {84 e}{x^5}+\frac {105 f}{x^4}\right ) \sqrt {a+b x^4}-(2 b) \int \frac {-\frac {c}{7}-\frac {d x}{6}-\frac {e x^2}{5}-\frac {f x^3}{4}}{x^4 \sqrt {a+b x^4}} \, dx\\ &=-\frac {1}{420} \left (\frac {60 c}{x^7}+\frac {70 d}{x^6}+\frac {84 e}{x^5}+\frac {105 f}{x^4}\right ) \sqrt {a+b x^4}-(2 b) \int \left (\frac {-\frac {c}{7}-\frac {e x^2}{5}}{x^4 \sqrt {a+b x^4}}+\frac {-\frac {d}{6}-\frac {f x^2}{4}}{x^3 \sqrt {a+b x^4}}\right ) \, dx\\ &=-\frac {1}{420} \left (\frac {60 c}{x^7}+\frac {70 d}{x^6}+\frac {84 e}{x^5}+\frac {105 f}{x^4}\right ) \sqrt {a+b x^4}-(2 b) \int \frac {-\frac {c}{7}-\frac {e x^2}{5}}{x^4 \sqrt {a+b x^4}} \, dx-(2 b) \int \frac {-\frac {d}{6}-\frac {f x^2}{4}}{x^3 \sqrt {a+b x^4}} \, dx\\ &=-\frac {1}{420} \left (\frac {60 c}{x^7}+\frac {70 d}{x^6}+\frac {84 e}{x^5}+\frac {105 f}{x^4}\right ) \sqrt {a+b x^4}-\frac {2 b c \sqrt {a+b x^4}}{21 a x^3}-b \text {Subst}\left (\int \frac {-\frac {d}{6}-\frac {f x}{4}}{x^2 \sqrt {a+b x^2}} \, dx,x,x^2\right )+\frac {(2 b) \int \frac {\frac {3 a e}{5}-\frac {1}{7} b c x^2}{x^2 \sqrt {a+b x^4}} \, dx}{3 a}\\ &=-\frac {1}{420} \left (\frac {60 c}{x^7}+\frac {70 d}{x^6}+\frac {84 e}{x^5}+\frac {105 f}{x^4}\right ) \sqrt {a+b x^4}-\frac {2 b c \sqrt {a+b x^4}}{21 a x^3}-\frac {b d \sqrt {a+b x^4}}{6 a x^2}-\frac {2 b e \sqrt {a+b x^4}}{5 a x}-\frac {(2 b) \int \frac {\frac {a b c}{7}-\frac {3}{5} a b e x^2}{\sqrt {a+b x^4}} \, dx}{3 a^2}+\frac {1}{4} (b f) \text {Subst}\left (\int \frac {1}{x \sqrt {a+b x^2}} \, dx,x,x^2\right )\\ &=-\frac {1}{420} \left (\frac {60 c}{x^7}+\frac {70 d}{x^6}+\frac {84 e}{x^5}+\frac {105 f}{x^4}\right ) \sqrt {a+b x^4}-\frac {2 b c \sqrt {a+b x^4}}{21 a x^3}-\frac {b d \sqrt {a+b x^4}}{6 a x^2}-\frac {2 b e \sqrt {a+b x^4}}{5 a x}-\frac {\left (2 b^{3/2} e\right ) \int \frac {1-\frac {\sqrt {b} x^2}{\sqrt {a}}}{\sqrt {a+b x^4}} \, dx}{5 \sqrt {a}}-\frac {\left (2 b^{3/2} \left (5 \sqrt {b} c-21 \sqrt {a} e\right )\right ) \int \frac {1}{\sqrt {a+b x^4}} \, dx}{105 a}+\frac {1}{8} (b f) \text {Subst}\left (\int \frac {1}{x \sqrt {a+b x}} \, dx,x,x^4\right )\\ &=-\frac {1}{420} \left (\frac {60 c}{x^7}+\frac {70 d}{x^6}+\frac {84 e}{x^5}+\frac {105 f}{x^4}\right ) \sqrt {a+b x^4}-\frac {2 b c \sqrt {a+b x^4}}{21 a x^3}-\frac {b d \sqrt {a+b x^4}}{6 a x^2}-\frac {2 b e \sqrt {a+b x^4}}{5 a x}+\frac {2 b^{3/2} e x \sqrt {a+b x^4}}{5 a \left (\sqrt {a}+\sqrt {b} x^2\right )}-\frac {2 b^{5/4} e \left (\sqrt {a}+\sqrt {b} x^2\right ) \sqrt {\frac {a+b x^4}{\left (\sqrt {a}+\sqrt {b} x^2\right )^2}} E\left (2 \tan ^{-1}\left (\frac {\sqrt [4]{b} x}{\sqrt [4]{a}}\right )|\frac {1}{2}\right )}{5 a^{3/4} \sqrt {a+b x^4}}-\frac {b^{5/4} \left (5 \sqrt {b} c-21 \sqrt {a} e\right ) \left (\sqrt {a}+\sqrt {b} x^2\right ) \sqrt {\frac {a+b x^4}{\left (\sqrt {a}+\sqrt {b} x^2\right )^2}} F\left (2 \tan ^{-1}\left (\frac {\sqrt [4]{b} x}{\sqrt [4]{a}}\right )|\frac {1}{2}\right )}{105 a^{5/4} \sqrt {a+b x^4}}+\frac {1}{4} f \text {Subst}\left (\int \frac {1}{-\frac {a}{b}+\frac {x^2}{b}} \, dx,x,\sqrt {a+b x^4}\right )\\ &=-\frac {1}{420} \left (\frac {60 c}{x^7}+\frac {70 d}{x^6}+\frac {84 e}{x^5}+\frac {105 f}{x^4}\right ) \sqrt {a+b x^4}-\frac {2 b c \sqrt {a+b x^4}}{21 a x^3}-\frac {b d \sqrt {a+b x^4}}{6 a x^2}-\frac {2 b e \sqrt {a+b x^4}}{5 a x}+\frac {2 b^{3/2} e x \sqrt {a+b x^4}}{5 a \left (\sqrt {a}+\sqrt {b} x^2\right )}-\frac {b f \tanh ^{-1}\left (\frac {\sqrt {a+b x^4}}{\sqrt {a}}\right )}{4 \sqrt {a}}-\frac {2 b^{5/4} e \left (\sqrt {a}+\sqrt {b} x^2\right ) \sqrt {\frac {a+b x^4}{\left (\sqrt {a}+\sqrt {b} x^2\right )^2}} E\left (2 \tan ^{-1}\left (\frac {\sqrt [4]{b} x}{\sqrt [4]{a}}\right )|\frac {1}{2}\right )}{5 a^{3/4} \sqrt {a+b x^4}}-\frac {b^{5/4} \left (5 \sqrt {b} c-21 \sqrt {a} e\right ) \left (\sqrt {a}+\sqrt {b} x^2\right ) \sqrt {\frac {a+b x^4}{\left (\sqrt {a}+\sqrt {b} x^2\right )^2}} F\left (2 \tan ^{-1}\left (\frac {\sqrt [4]{b} x}{\sqrt [4]{a}}\right )|\frac {1}{2}\right )}{105 a^{5/4} \sqrt {a+b x^4}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 10.34, size = 283, normalized size = 0.75 \begin {gather*} \frac {-\sqrt {\frac {i \sqrt {b}}{\sqrt {a}}} \left (\left (a+b x^4\right ) \left (2 b x^4 (20 c+7 x (5 d+12 e x))+a (60 c+7 x (10 d+3 x (4 e+5 f x)))\right )+105 \sqrt {a} b f x^7 \sqrt {a+b x^4} \tanh ^{-1}\left (\frac {\sqrt {a+b x^4}}{\sqrt {a}}\right )\right )+168 \sqrt {a} b^{3/2} e x^7 \sqrt {1+\frac {b x^4}{a}} E\left (\left .i \sinh ^{-1}\left (\sqrt {\frac {i \sqrt {b}}{\sqrt {a}}} x\right )\right |-1\right )-8 b^{3/2} \left (-5 i \sqrt {b} c+21 \sqrt {a} e\right ) x^7 \sqrt {1+\frac {b x^4}{a}} F\left (\left .i \sinh ^{-1}\left (\sqrt {\frac {i \sqrt {b}}{\sqrt {a}}} x\right )\right |-1\right )}{420 a \sqrt {\frac {i \sqrt {b}}{\sqrt {a}}} x^7 \sqrt {a+b x^4}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains complex when optimal does not.
time = 0.41, size = 326, normalized size = 0.87
method | result | size |
elliptic | \(-\frac {c \sqrt {b \,x^{4}+a}}{7 x^{7}}-\frac {d \sqrt {b \,x^{4}+a}}{6 x^{6}}-\frac {e \sqrt {b \,x^{4}+a}}{5 x^{5}}-\frac {f \sqrt {b \,x^{4}+a}}{4 x^{4}}-\frac {2 b c \sqrt {b \,x^{4}+a}}{21 a \,x^{3}}-\frac {b d \sqrt {b \,x^{4}+a}}{6 a \,x^{2}}-\frac {2 b e \sqrt {b \,x^{4}+a}}{5 a x}-\frac {2 b^{2} c \sqrt {1-\frac {i \sqrt {b}\, x^{2}}{\sqrt {a}}}\, \sqrt {1+\frac {i \sqrt {b}\, x^{2}}{\sqrt {a}}}\, \EllipticF \left (x \sqrt {\frac {i \sqrt {b}}{\sqrt {a}}}, i\right )}{21 a \sqrt {\frac {i \sqrt {b}}{\sqrt {a}}}\, \sqrt {b \,x^{4}+a}}+\frac {2 i b^{\frac {3}{2}} e \sqrt {1-\frac {i \sqrt {b}\, x^{2}}{\sqrt {a}}}\, \sqrt {1+\frac {i \sqrt {b}\, x^{2}}{\sqrt {a}}}\, \left (\EllipticF \left (x \sqrt {\frac {i \sqrt {b}}{\sqrt {a}}}, i\right )-\EllipticE \left (x \sqrt {\frac {i \sqrt {b}}{\sqrt {a}}}, i\right )\right )}{5 \sqrt {a}\, \sqrt {\frac {i \sqrt {b}}{\sqrt {a}}}\, \sqrt {b \,x^{4}+a}}-\frac {b f \arctanh \left (\frac {\sqrt {a}}{\sqrt {b \,x^{4}+a}}\right )}{4 \sqrt {a}}\) | \(314\) |
default | \(e \left (-\frac {\sqrt {b \,x^{4}+a}}{5 x^{5}}-\frac {2 b \sqrt {b \,x^{4}+a}}{5 a x}+\frac {2 i b^{\frac {3}{2}} \sqrt {1-\frac {i \sqrt {b}\, x^{2}}{\sqrt {a}}}\, \sqrt {1+\frac {i \sqrt {b}\, x^{2}}{\sqrt {a}}}\, \left (\EllipticF \left (x \sqrt {\frac {i \sqrt {b}}{\sqrt {a}}}, i\right )-\EllipticE \left (x \sqrt {\frac {i \sqrt {b}}{\sqrt {a}}}, i\right )\right )}{5 \sqrt {a}\, \sqrt {\frac {i \sqrt {b}}{\sqrt {a}}}\, \sqrt {b \,x^{4}+a}}\right )+f \left (-\frac {\left (b \,x^{4}+a \right )^{\frac {3}{2}}}{4 a \,x^{4}}-\frac {b \ln \left (\frac {2 a +2 \sqrt {a}\, \sqrt {b \,x^{4}+a}}{x^{2}}\right )}{4 \sqrt {a}}+\frac {b \sqrt {b \,x^{4}+a}}{4 a}\right )-\frac {d \left (b \,x^{4}+a \right )^{\frac {3}{2}}}{6 a \,x^{6}}+c \left (-\frac {\sqrt {b \,x^{4}+a}}{7 x^{7}}-\frac {2 b \sqrt {b \,x^{4}+a}}{21 a \,x^{3}}-\frac {2 b^{2} \sqrt {1-\frac {i \sqrt {b}\, x^{2}}{\sqrt {a}}}\, \sqrt {1+\frac {i \sqrt {b}\, x^{2}}{\sqrt {a}}}\, \EllipticF \left (x \sqrt {\frac {i \sqrt {b}}{\sqrt {a}}}, i\right )}{21 a \sqrt {\frac {i \sqrt {b}}{\sqrt {a}}}\, \sqrt {b \,x^{4}+a}}\right )\) | \(326\) |
risch | \(-\frac {\sqrt {b \,x^{4}+a}\, \left (168 b e \,x^{6}+70 b d \,x^{5}+40 b c \,x^{4}+105 a f \,x^{3}+84 a e \,x^{2}+70 a d x +60 a c \right )}{420 x^{7} a}+\frac {2 i b^{\frac {3}{2}} e \sqrt {1-\frac {i \sqrt {b}\, x^{2}}{\sqrt {a}}}\, \sqrt {1+\frac {i \sqrt {b}\, x^{2}}{\sqrt {a}}}\, \EllipticF \left (x \sqrt {\frac {i \sqrt {b}}{\sqrt {a}}}, i\right )}{5 \sqrt {a}\, \sqrt {\frac {i \sqrt {b}}{\sqrt {a}}}\, \sqrt {b \,x^{4}+a}}-\frac {2 i b^{\frac {3}{2}} e \sqrt {1-\frac {i \sqrt {b}\, x^{2}}{\sqrt {a}}}\, \sqrt {1+\frac {i \sqrt {b}\, x^{2}}{\sqrt {a}}}\, \EllipticE \left (x \sqrt {\frac {i \sqrt {b}}{\sqrt {a}}}, i\right )}{5 \sqrt {a}\, \sqrt {\frac {i \sqrt {b}}{\sqrt {a}}}\, \sqrt {b \,x^{4}+a}}-\frac {2 b^{2} c \sqrt {1-\frac {i \sqrt {b}\, x^{2}}{\sqrt {a}}}\, \sqrt {1+\frac {i \sqrt {b}\, x^{2}}{\sqrt {a}}}\, \EllipticF \left (x \sqrt {\frac {i \sqrt {b}}{\sqrt {a}}}, i\right )}{21 a \sqrt {\frac {i \sqrt {b}}{\sqrt {a}}}\, \sqrt {b \,x^{4}+a}}-\frac {b f \ln \left (\frac {2 a +2 \sqrt {a}\, \sqrt {b \,x^{4}+a}}{x^{2}}\right )}{4 \sqrt {a}}\) | \(327\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.11, size = 173, normalized size = 0.46 \begin {gather*} -\frac {336 \, \sqrt {a} b e x^{7} \left (-\frac {b}{a}\right )^{\frac {3}{4}} E(\arcsin \left (x \left (-\frac {b}{a}\right )^{\frac {1}{4}}\right )\,|\,-1) - 105 \, \sqrt {a} b f x^{7} \log \left (-\frac {b x^{4} - 2 \, \sqrt {b x^{4} + a} \sqrt {a} + 2 \, a}{x^{4}}\right ) - 16 \, {\left (5 \, b c + 21 \, b e\right )} \sqrt {a} x^{7} \left (-\frac {b}{a}\right )^{\frac {3}{4}} F(\arcsin \left (x \left (-\frac {b}{a}\right )^{\frac {1}{4}}\right )\,|\,-1) + 2 \, {\left (168 \, b e x^{6} + 70 \, b d x^{5} + 40 \, b c x^{4} + 105 \, a f x^{3} + 84 \, a e x^{2} + 70 \, a d x + 60 \, a c\right )} \sqrt {b x^{4} + a}}{840 \, a x^{7}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] Result contains complex when optimal does not.
time = 3.09, size = 192, normalized size = 0.51 \begin {gather*} \frac {\sqrt {a} c \Gamma \left (- \frac {7}{4}\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {7}{4}, - \frac {1}{2} \\ - \frac {3}{4} \end {matrix}\middle | {\frac {b x^{4} e^{i \pi }}{a}} \right )}}{4 x^{7} \Gamma \left (- \frac {3}{4}\right )} + \frac {\sqrt {a} e \Gamma \left (- \frac {5}{4}\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {5}{4}, - \frac {1}{2} \\ - \frac {1}{4} \end {matrix}\middle | {\frac {b x^{4} e^{i \pi }}{a}} \right )}}{4 x^{5} \Gamma \left (- \frac {1}{4}\right )} - \frac {\sqrt {b} d \sqrt {\frac {a}{b x^{4}} + 1}}{6 x^{4}} - \frac {\sqrt {b} f \sqrt {\frac {a}{b x^{4}} + 1}}{4 x^{2}} - \frac {b^{\frac {3}{2}} d \sqrt {\frac {a}{b x^{4}} + 1}}{6 a} - \frac {b f \operatorname {asinh}{\left (\frac {\sqrt {a}}{\sqrt {b} x^{2}} \right )}}{4 \sqrt {a}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {\sqrt {b\,x^4+a}\,\left (f\,x^3+e\,x^2+d\,x+c\right )}{x^8} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________